Jiangjun tang ( computer software and theory ) directed by huimin lin a method for selecting test synchronization sequences for concurrent programs is presented 本文提出一种基于带赋值符号迁移系统stga选取测试同步序列的方法。
3.
Specialty : computer software and theory title : test online system ? esign and implementation graduate student : liu nianbo tutor : prof . yangguowei distance education is becoming more and more popular with the rapid development of the internet 因特网的迅猛发展给远程教育注入了新的活力，使之逐步转变成现有教育方式更一般的形式。
